Electronic Books

Total Books: 21 - 40 /66
978-3-540-77962-9
DNA Computing : 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed postproceedings of the 13th International Meeting on DNA Computing, DNA 13, ...

Continue reading
978-3-540-73208-2
Developments in Language Theory

It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...

Continue reading
978-3-540-73208-2
Developments in Language Theory

It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...

Continue reading
978-3-540-30550-7
Developments in Language Theory

Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic ...

Continue reading
978-3-540-31682-4
Developments in Language Theory (vol. # 3572)

Constitutes the refereed proceedings of the 9th International Conference on Developments in Language Theory, DLT 2005, held ...

Continue reading
978-3-540-35430-7
Developments in Language Theory (vol. # 4036)

This book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT ...

Continue reading
978-3-540-85780-8
Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...

Continue reading
978-3-540-32213-9
Efficient Approximation and Online Algorithms

This book provides a good opportunity for computer science practitioners and researchers to get in sync with current state-of-the-art ...

Continue reading
978-3-540-30538-5
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...

Continue reading
978-3-540-32419-5
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...

Continue reading
978-3-540-49995-4
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science

This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...

Continue reading
978-3-540-77050-3
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...

Continue reading
978-3-540-28788-9
Finite Model Theory

The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...

Continue reading
978-3-540-28788-9
Finite Model Theory

The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...

Continue reading
978-3-540-68804-4
Finite Model Theory and Its Applications

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...

Continue reading
978-3-540-68804-4
Finite Model Theory and Its Applications

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...

Continue reading
978-3-540-77684-0
Foundations of Information and Knowledge Systems : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...

Continue reading
978-3-540-32507-9
Grammatical Picture Generation

The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, ...

Continue reading
978-3-540-31468-4
Graph-Theoretic Concepts in Computer Science (vol. # 3787)

that aims to unite theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer ...

Continue reading
978-3-540-26908-3
Graphs, Networks and Algorithms

This book have a chapter on the network simplex algorithm and a section on the five color theorem; this also necessitated ...

Continue reading
Total Books: 21 - 40 /66